161. Automated and algorithmic debugging :
Author: Peter A Fritzson
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
162. Automated technology for verification and analysis
Author: Supratik Chakraborty, Madhavan Mukund (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2012eb
163. Automated technology for verification and analysis :
Author: Dang Van Hung, Mizuhito Ogawa (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2013
164. Automated technology for verification and analysis
Author: Zhiming Liu, Anders P. Ravn (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2009
165. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
166. Automated technology for verification and analysis :
Author: Tevfik Bultan, Pao-Ann Hsiung (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2011
167. Automated technology for verification and analysis
Author: / Kedar S. Namjoshi ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
A82
,
2006
168. Automatic Re-Engineering of Software Using Genetic Programming
Author: / BY Conor Ryan
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Genetic Programming(Computer Science),Software Reengineering
Classification :
QA76
.
623
.
R93
2000
169. Automatic re-engineering of software using genetic programming
Author: / by Conor Ryan
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Genetic programming (Computer science),Software reengineering
Classification :
QA76
.
623
.
R93
2000
170. Automatic re-engineering of software using genetic programming
Author: / by Conor Ryan
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Genetic programming (Computer science),Software reengineering
Classification :
QA76
.
623
.
R93
2000
171. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
Author: Mainul Islam
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
172. Automating Instructional Design:
Author: edited by Robert D. Tennyson, Ann E. Barron.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Educational technology.,Software engineering.
173. Automating Instructional Design, Development, and Delivery
Author: edited by Robert D. Tennyson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
LB1028
.
38
E358
1994
174. Automating with SIMATIC : Controllers, Software, Programming, Data
Author: / Berger, Hans
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: CONTROL SYSTEMS|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
Classification :
E-BOOK
175. Automotive systems and software engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineeringAutomatic programming (Computer science)
176. Autonomic and trusted computin
Author: / Chunming Rong ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Autonomic computing--Congresses,Computer security--Congresses,Computer networks--Security measures--Congresses
177. Aware Applications Using Tcl, A Powerful Dynamic Programming Language-Tcl 8.5 Network Programming : Build Network
Author: / Kocjan, Wojciech
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
Classification :
E-BOOK
178. Balancing agility and formalism in software engineerin
Author: / Bertrand Meyer, Jerzy R. Nawrocki, Bartosz Walter (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses,Computer software--Development--Congresses
179. Based Reasoning, Programming, and Applications-Rule
Author: / Nick Bassiliades, Guido Governatori, Adrian Paschke
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
180. Basic Sensors in IOS: Programming the Accelerometer, Gyroscope, and Magnetometer
Author: / Alasdair Allan
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
